Continuous Bijection From Compact Space to Hausdorff Space is Homeomorphism
The idea here is that with additional restrictions on the properties of the domain and codomain, we don't need to check that the inverse is bijective.
Proof
By the definition of a homeomorphism, we just need to prove that is continuous (we introduce to prevent confusion with pre-images and inverse functions). We do this with the closed set definition of continuity, that is is closed for all closed . This is equivalent to showing that is closed for all , that is, that is a closed mapping, because is bijection.
Therefore, let be a closed subset of . is therefore compact given that is compact. Hence because compactness is preserved under continuous functions, we know that must also be compact, and therefore every compact subset of a hausdorff space is closed|as a subset of a Hausdorff space which is compact, is closed.